Static single assignment form - PDFSEARCH.IO - Document Search Engine

Static single assignment form
Results: 1516

#	Item
301	A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2014-05-26 01:03:11 Elementary mathematics Operations research Call graph Function Algorithm Graph Static single assignment form Mathematical optimization Mathematics Compiler construction Theoretical computer science
302	A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2014-05-26 01:03:39 Elementary mathematics Operations research Call graph Function Algorithm Graph Static single assignment form Mathematical optimization Mathematics Compiler construction Theoretical computer science
303	Experience with the SETL Optimizer STEFAN M. FREUDENBERGER, JACOB T. SCHWARTZ, and MICHA SHARIR New York University The structure of an existing optimizer for the very high-level, set theoretically oriented programming Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:31:06 Data types Compiler optimizations Compiler construction Type theory Programming language implementation SETL Static single assignment form Mathematical optimization Common subexpression elimination Software engineering Computing Programming language theory
304	Department of Computer Science University of Manchester Manchester M13 9PL, England Technical Report Series UMCS–93–7–0 Add to Reading List Source URL: piumarta.com Language: English - Date: 2010-11-01 07:37:01 Compiler construction Programming language implementation Machine code Smalltalk Procedural programming languages Compiler optimizations Compiler Static single assignment form Eval Software engineering Computing Computer programming
305	B, Gaver Technologies, Inc. Add to Reading List Source URL: gao.gov Language: English - Date: 2015-04-09 17:12:27 United States administrative law Procurement Request for proposal Evaluation Statement of work Proposal Static single assignment form Business Sales Government procurement in the United States
306	Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† , Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Debugging Program analysis Program slicing Program transformation Software maintenance Static single assignment form Subroutine Algorithm Stack Computing Computer programming Software engineering
307	Atmos. Meas. Tech., 5, 2723–2737, 2012 www.atmos-meas-tech.netdoi:amt © Author(sCC Attribution 3.0 License. Atmospheric Add to Reading List Source URL: www.atmos-meas-tech.net Language: English - Date: 2014-12-03 11:34:18 AERONET Static single assignment form Almucantar Metre Scattering Wavelength Variance Optical aberration Skynet Physics Measurement Science
308	Motivation Both human- and computer-generated programs sometimes contain data-flow anomalies. These anomalies result in the program being worse, in some sense, than it was intended to be. Data-flow analysis is useful in Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-02 06:00:00 Compiler optimizations Procedural programming languages Compiler construction Source code Data-flow analysis C Static single assignment form Dead code ALGOL 68 Software engineering Computing Programming language theory
309	The Cryosphere, 6, 573–588, 2012 www.the-cryosphere.netdoi:tc © Author(sCC Attribution 3.0 License. The Cryosphere Add to Reading List Source URL: www.the-cryosphere.net Language: English - Date: 2014-12-04 07:58:38 Glaciology Cryosphere Hydrology Structure of the Earth Static single assignment form Ice sheet model Ice shelf Earth Physical geography Water
310	WRFDA Chapter 6: WRF Data Assimilation Table of Contents  Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2015-01-09 12:55:47 Compilers GNU Compiler Collection Static single assignment form Linux Software Computing Programming language implementation

UPDATE